Automated Dynamic Assembly of Dependable System Architectures

نویسنده

  • DEBORAH A. CERINO
چکیده

ion_map(BindMapDefn) --> bindings_map_definition(BindMapDefn). abstraction_map(Omd) --> other_map_definition(Omd). abstraction_map([]) --> []. property_s_list([Prop|PropL]) --> property_s(Prop), [token(’;’, misc)], property_s_list(PropL). property_s_list([Prop]) --> property_s(Prop), opt_semi. property_s_list([]) --> []. bindings_map_definition(bindings_map_definition(TypedId, BindL)) --> [token(bindings, key)], typed_identifier(TypedId), [token(’=’, misc)], !, startblock, bindings_list(BindL), endblock. bindings_map_definition(unnamed_bindings_map_definition(BindL)) --> [token(bindings, key)], startblock, bindings_list(BindL), endblock. bindings_list([Bind|BindL]) --> binding(Bind), [token(’;’, misc)], bindings_list(BindL). bindings_list([Bind]) --> binding(Bind), opt_semi.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Adaptive Architectures for Future Highly Dependable, Real-Time Systems

Many present-day safety-critical or mission-critical military applications are deployed using intrinsically static architectures. Often these applications are real-time systems, where late responses may cause potentially catastrophic results. Static architectures allow system developers to certify with a high degree of confidence that their systems will provide correct functionality during oper...

متن کامل

Design of FPGA-Based Dependable Systems

In this paper, the new methodology from areas fault tolerant systems based on automated generation of checkers in FPGA is presented. Dependability models of architectures based on the use of online checkers are described in the paper as well. First, the results of our research in the area of on-line checkers design are described. It is shown how the architectures with on-line checkers can be us...

متن کامل

Simulation of a Two Cards JIT Production System

This paper presents a summary of the results from the simulation of a given two-stages production system which uses JIT. The system consists of an assembly line with two automated assembly cells and two assembly stock points and one manufacturing cell with three manufacturing stock points for storing reserved parts and one receiving stock. Carts with fixed capacity are used for handling the par...

متن کامل

Scheduling of Multiple Autonomous Guided Vehicles for an Assembly Line Using Minimum Cost Network Flow

This paper proposed a parallel automated assembly line system to produce multiple products having multiple autonomous guided vehicles (AGVs). Several assembly lines are configured to produce multiple products in which the technologies of machines are shared among the assembly lines when required. The transportation between the stations in an assembly line (intra assembly line) and among station...

متن کامل

Developing Dependable Systems Using Software Architecture

The construction of dependable software systems is recognized as a complex task: the system developer has to address the usage of fault tolerance techniques in addition to the design of the functional aspects that are specific to the system. This paper proposes a framework aimed at easing the development of dependable systems by providing software designers with a repository of dependable softw...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2003